" Shaz Qadeer" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Ganesh Gopalakrishnan, Shaz Qadeer

14.60 Mb

#2

Computer Aided Verification - CAV 2011

Ganesh Gopalakrishnan, Shaz Qadeer

8.79 Mb